https://filesoo.com/product/6942/hilbert-c-modules-a-toolkit-for-operator-algebraists